Building a Pragmatic Methodology for KR Tool Research and Development

Reviewing the evidence of CG-tool research and development in conference papers, we find little attention devoted to the issues and institution of scientific methodology, and only vague awareness of how that deficiency impairs progress. To focus attention and improve awareness, we briefly delineate the evolution of C.S. Peirce's theory of inquiry toward Eduard Hovy’s general methodology for research, tracing from Peirce’s early pragmatism to his "conditional idealism." We claim that methodological theory suggests a pragmatic method for KR research and tool advancement, in the form of an open-ended game somewhat like a child's game of building blocks. The forms of the "blocks" would be propositional rather than physical, with conditional propositions establishing the "dimensions," in place of the physical dimensions of blocks. The constraints would be logical and evidential (factual) rather than geometrical and gravitational (forceful). We challenge the entire Conceptual Structures community to help build a truly pragmatic methodology.